علیرضا مفیدی - دانشگاه صنعتی امیرکبیر

MOFIDI ALIREZA, "Some Mathematical Logical Proofs for the Radon-Nikodym Theorem and the Stone Representation Theorem for Measure Algebras", Iranian Journal of Mathematical Sciences and Informatics, vol. 20, no. 2, pp.173-189, 2025.

GHOLAMI FATEMEH ، RAHMATI ZAHED ، MOFIDI ALIREZA ، Abbaszadeh Mostafa, "On Enhancement of Text Classification and Analysis of Text Emotions Using Graph Machine Learning and Ensemble Learning Methods on Non-English Datasets", Algorithms, vol. 16, no. 10, pp.470-484, 2023.

MOFIDI ALIREZA, "On Dominating Graph of Graphs, Median Graphs, Partial Cubes and Complement of Minimal Dominating Sets", Graphs and Combinatorics, vol. 0, no. 0, , 2023.

MOFIDI ALIREZA, "ON THE NUMBER OF CYCLES OF GRAPHS AND VC-DIMENSION", Facta Universitatis-Series Mathematics and Informatics, vol. 37, no. 1, pp.121-135, 2022.

MOFIDI ALIREZA, "Logic, measures and unbounded integration logic", , vol. 12, no. 2, pp.1-13, 2022.

MOFIDI ALIREZA, "Uniform Logical New Proofs for the Daniell-Stone Theorem and the Riesz Representation Theorem", Bulletin of The Iranian Mathematical Society, vol. 0, no. 0, , 2022.

MOFIDI ALIREZA, "ON THE VC-DIMENSION, COVERING AND SEPARATING PROPERTIES OF THE CYCLE AND SPANNING TREE HYPERGRAPHS OF GRAPHS", Transactions On Combinatorics, vol. 0, no. 0, pp.1-15, 2021.

MOFIDI ALIREZA, "On some aspects of measure and probability logics and a new logical proof for a theorem of Stone", .Aut Journal of Mathematics and Computing, vol. 3, no. 0, , 2021.

MOFIDI ALIREZA, "On partial cubes, well-graded families and their duals with some applications in graphs", Discrete Applied Mathematics, vol. 0, no. 0, pp.1-25, 2020.

MOFIDI ALIREZA, "On some dynamical aspects of NIP theories", Archive For Mathematical Logic, vol. 0, no. 0, pp.1-35, 2017.

Alireza Mofidi, "Logic, measures and unbounded integration logic", Logic Studies, vol. , no. , p., 2022.

Alireza Mofidi, "Some Mathematical Logical Proofs for the Radon-Nikodym Theorem and the Stone Representation Theorem for Measure Algebras", Ijmsi, vol. , no. , p., 2022.

Alireza Mofidi, S. Akbari, G. Khosrovshahi, "Zero-sum flows in designs", Journal of Combinatorial Designs, vol. , no. , p., 2014.

Alireza Mofidi, S. Akbari, G. Khosrovshahi, "Nowhere zero 6-flows, a linear algebraic approach", Bull. Inst. Combin. Appl, vol. , no. , p., 2013.

Alireza Mofidi, M. Bagheri, "Quantified universes and ultraproducts", Math Logic Quarterly, vol. , no. , p., 2013.

مقالات همایش‌ها

MOFIDI ALIREZA, "Stability theory and representations,", 52nd Annual Iranian Math Conference, Aug 2021.

MOFIDI ALIREZA, "NIP theories and actions,", 51th annual Iranian mathematical conference, Feb 2021.

MOFIDI ALIREZA, "Dynamics and NIP theories,", Beijing Model Theory Meeting (دعوت شده به عنوان سخنران مدعو), May 2018.

MOFIDI ALIREZA, "On Combinatorial Features of Definable Set Systems in Model Theory,", The 2018 Chinese Mathematical Logic Conference (CMLC2018, May 2018.

MOFIDI ALIREZA, "On Some VC-combinatorial notions in computational geometry,", ICCG 2018 Conference on Computational Geometry, Feb 2018.

MOFIDI ALIREZA, "VC combinatorics of definable systems,", Logic Colloquium 2017, Aug 2017.

MOFIDI ALIREZA, "Symbolic dynamical views in model theory,", Logic Colloquium 2016, Jul 2016.

MOFIDI ALIREZA, "Some Characterizations in NIP Theories,", IPM Conference on Set Theory and Model Theory, Oct 2015.

MOFIDI ALIREZA, "Some dynamical approaches to NIP theories,", Logic Colloquium 2015, Aug 2015.

افتخارات و جوایز

عناوین جوایز و افتخارات

تاریخ دریافت

مدال نقره مسابقات دانشجویی کشوری

گرنت مرکز تحقیقات هانری پوانکاره پاریس فرانسه

برنده شدن گرنت دانشگاه استکهلم سوئد

گرنت از دانشگاه لیدز - انگلستان و انجمن منطق جهان ASL

گرنت از دانشگاه هلسینکی - فنلاند

برنده شدن گرنت دانشگاه لیسبون - پرتقال

برنده شدن گرنت مرکز تحقیقات ICTP - ایتالیا

فعالیت‌های اجرایی

عناوین فعالیت های اجرایی

توضیح / سازمان محل خدمت

تاریخ شروع

تاریخ خاتمه

استعدادهای درخشان ریاضی و علوم کامپیوتر

مسابقات ریاضی دانشجویی

دروس ارائه شده

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Special Topics (Deep Learning and Computational Physics)

4042

Model Theory

4042

Special Topics (Machine Learning With Graphs)

4041

Topics in Mathematical Logic

4041

Optimization and Neural Networks

4032

Model Theory

4032

Foundation of Mathematics

4032

Foundation of Mathematics

4032

COMPUTATIONAL LOGIC

4031

Graph Theory

4031